A multilevel sampled‐data approach for resilient navigation and control of autonomous systems

Autonomous systems are rapidly becoming an integrated part of the modern life. Safe and secure navigation and control of these systems present significant challenges in the presence of uncertainties, physical failures, and cyber attacks. In this paper, we formulate a navigation and control problem for autonomous systems using a multilevel control structure, in which the high‐level reference commands are limited by a saturation function, whereas the low‐level controller tracks the reference by compensating for disturbances and uncertainties. For this purpose, we consider a class of nested, uncertain, multiple‐input–multiple‐output systems subject to reference command saturation, possibly with nonminimum phase zeros. A multirate output‐feedback adaptive controller is developed as the low‐level controller. The sampled‐data (SD) design of this controller facilitates the direct implementation on digital computers, where the input/output signals are available at discrete time instances with different sampling rates. In addition, stealthy zero‐dynamics attacks become detectable by considering a multirate SD formulation. Robust stability and performance of the overall closed‐loop system with command saturation and multirate adaptive control are analyzed. Simulation scenarios for navigation and control of a fixed‐wing drone under failures/attacks are provided to validate the theoretical findings.     

An interval observer for uncertain continuous‐time linear systems

To design robust interval observers for uncertain continuous‐time linear systems, a new set‐integration approach is proposed to compute trajectory tubes for the estimation error. Because this approach, the order‐preserving condition on the dynamics of the estimation error is no longer required. Therefore, synthesis methods can be used to compute observer gains that reduce the impact of the system uncertainties on the accuracy of the estimated state enclosures. The performance of the proposed approach is showcased through illustrative numerical examples.     

Discrete‐time sector based hands‐off control for nonlinear system

This article presents a hands‐off control design for discrete‐time nonlinear system with a special type of nonlinear sector termed as “discrete‐time sector.” The design method to define the boundary of a discrete‐time sector is done with control‐Lyapunov function. The generalization of nonlinear system is viewed in the perspective of a comparison function. By means of a proposed sector, a switching control is designed such that no control action is experienced inside the sector thus, saving unnecessary control efforts. However, to study the robustness for discrete‐time system, a hands‐off control is modified to ensure the monotonic decrease in the energy of the system. Finally, the proposed approach is verified with the simulation results.     

Delay compensated control of the Stefan problem and robustness to delay mismatch

This paper presents a control design for the one‐phase Stefan problem under actuator delay via a backstepping method. The Stefan problem represents a liquid‐solid phase change phenomenon which describes the time evolution of a material's temperature profile and the interface position. The actuator delay is modeled by a first‐order hyperbolic partial differential equation (PDE), resulting in a cascaded transport‐diffusion PDE system defined on a time‐varying spatial domain described by an ordinary differential equation (ODE). Two nonlinear backstepping transformations are utilized for the control design. The setpoint restriction is given to guarantee a physical constraint on the proposed controller for the melting process. This constraint ensures the exponential convergence of the moving interface to a setpoint and the exponential stability of the temperature equilibrium profile and the delayed controller in the norm. Furthermore, robustness analysis with respect to the delay mismatch between the plant and the controller is studied, which provides analogous results to the exact compensation by restricting the control gain.     

Asynchronous control for two‐dimensional hidden Markovian jump systems with partly known mode observation conditional probabilities

This study focuses on the asynchronous control problem for two‐dimensional discrete‐time hidden Markovian jump systems where the mode observation conditional probability matrix is partly known. Considering the original system modes are invisible, the observed modes emitted from an observer serve as an alternative for stability analysis and controller design where a mode observation conditional probability matrix is constructed to characterize the emission between system modes and observed modes. Specially, only partly known information of the mode observation conditional probability matrix is accessible. With the introduction of the free‐connection weighting matrices, the asymptotic mean square stability criterion is firstly derived based on Lyapunov method. This introduction provides a further degree of relaxation and less conservatism is therefore achieved. Secondly, we present synthesis conditions for asynchronous state feedback controller design given in terms of a set of interconnected linear matrix inequalities. Moreover, cluster concept based on the partitions of observed modes is adopted which helps to decrease the number of controllers and simplify the design complexity. A numerical example, regarding the cases with and without clustering of the observed modes, is presented to illustrate the effectiveness of the proposed method.     

Stability and stabilization for singularly perturbed systems with Markovian jumps

This article focuses on the stability and stabilization problems of singularly perturbed jump systems. Here, the singularly perturbed parameter (SPP) is also with Markov switching and satisfies any with positive bound predefined. First, stability conditions expressed ?_i‐free but involving its bound are developed by constructing an ?_i‐dependent Lyapunov function. Then, a method for state feedback stabilization controller depending on SPP is proposed, whose conditions are given in terms of linear matrix inequalities. Moreover, some special cases about deterministic SPP are considered too. Finally, two practical examples are used to demonstrate the effectiveness and superiorities of the proposed methods.     

Packet loss detection in networked control systems

One of the main issues related to the reliable operation of network control systems concerns the design of mechanisms able to detect anomalies in the functioning of the communication network through which the control loops are closed. In this article, we address the problem of detecting the occurrence of packet losses and design a mechanism that can detect the occurrence of packet losses directly from process sensor data. Specifically, we propose a moving‐horizon estimation scheme that permits to detect if the packet‐loss rate exceeds prescribed thresholds, which are representative of stability and performance of the control system. We discuss theoretical properties of the proposed solution along with an approximation scheme with reduced computational burden. A numerical example is discussed to substantiate the analysis.     

Polynomial filtering for nonlinear stochastic systems with state‐ and disturbance‐dependent noises

This article is concerned with the polynomial filtering problem for a class of nonlinear stochastic systems governed by the Itô differential equation. The system under investigation involves polynomial nonlinearities, unknown‐but‐bounded disturbances, and state‐ and disturbance‐dependent noises ((x,d)‐dependent noises for short). By expanding the polynomial nonlinear functions in Taylor series around the state estimate, a new polynomial filter design method is developed with hope to reduce the conservatism of the existing results. In virtue of stochastic analysis and inequality technique, sufficient conditions in terms of parameter‐dependent linear matrix inequalities (PDLMIs) are derived to guarantee that the estimation error system is input‐to‐state stable in probability. Moreover, the desired polynomial matrix can be obtained by solving the PDLMIs via the sum‐of‐squares approach. The effectiveness and applicability of the proposed method are illustrated by two numerical examples with one concerning the permanent magnet synchronous motor.     

Stochastic stabilization and destabilization of nonlinear and time‐varying hybrid systems by noise

The aim of this article is to design a suitable strength function g(t,x,r(t)) such that the Wiener noise g(t,x(t),r(t))dw(t) either stabilizes or destabilizes a given nonlinear and time‐varying hybrid system . To this end, the basic properties, including the existence and uniqueness of the local and global solutions and the nonzero property of solutions of the nonlinear and time‐varying hybrid stochastic systems, are first investigated as the theoretical basis of the article. Second, two theorems and the corresponding corollaries on the stability and instability of the hybrid stochastic systems are established. Third, the design method for the noise strength g(t,x,r(t)) is then proposed based on the established theorems. We also point out that the Markov jump r(t) may have a stabilizing (respectively, destabilizing) effect when we design the noise strength g(t,x,r(t)) so that the introduced noise g(t,x(t),r(t))dw(t) stabilizes (respectively, destabilizes) the corresponding hybrid system. Finally, we illustrate our method using two examples. Compared with the existing literature, our method is suitable for a wider class of nonlinear and time‐varying systems with weaker conditions than quasi‐linear systems.     

H∞ control for uncertain one‐sided Lipschitz nonlinear systems in finite frequency domain

The current article discusses the H_∞ disturbance attenuation control design problem for one‐sided Lipschitz systems in finite frequency domain. Models containing norm‐bounded parameter uncertainties, disturbances, and input nonlinearities are considered. By contrast to existing full frequency methods, the H_∞ controller is computed depending on the frequency ranges of disturbances. The finite frequency disturbance attenuation index is initially defined. Thanks to Finsler's lemma, sufficient and less conservative analysis conditions are also derived for the closed‐loop system. Then, synthesis conditions in the low, middle, and high frequency ranges as well as the whole frequency range, are formulated in terms of linear matrix inequalities. At last, to prove the effectiveness and the superiority of the proposed approach, a physical example is used and a comparative study is done.